Ensuring correctness during process configuration via partner synthesis
نویسندگان
چکیده
منابع مشابه
Ensuring correctness during process configuration via partner synthesis
Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a ...
متن کاملCorrectness Ensuring Process Configuration: An Approach Based on Partner Synthesis
A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an inc...
متن کاملCorrectness-Preserving Configuration of Business Process Models
Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. Although the advantages of reusing reference process models compared...
متن کاملEnsuring Correctness of Model Transformations
This paper is concerned with the interplay of the expressiveness of model and graph transformation languages, of assertion formalisms making correctness statements about transformations, and the decidability of the resulting verification problems. We put a particular focus on transformations arising in graph-based knowledge bases and model-driven engineering. We then identify requirements that ...
متن کاملEnsuring the Semantic Correctness of Complex Regions
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve spatial data quality and enable correct operation execution. Spatial objects like complex regions are usually represented as an ordered sequence of segments (sequence view) to support and ease the computation of spati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Systems
سال: 2012
ISSN: 0306-4379
DOI: 10.1016/j.is.2011.08.004